Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
21	Generalization and Systematicity in Echo State Networks Stefan L. Frank () Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Neth Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:04 Artificial neural networks Cognition Computational neuroscience Cognitive science Applied mathematics Artificial intelligence Computational statistics Computational linguistics Language model Echo state network Recurrent neural network Connectionism
22	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
23	Can Quantum Search Accelerate Evolutionary Algorithms? Daniel Johannsen Max Planck Institute for Informatics Department of Algorithms and Complexity Saarbrücken, Germany Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Theoretical computer science Theory of computation Computational complexity theory Quantum algorithms Quantum computing Models of computation Decision tree model Quantum phase estimation algorithm PP Quantum walk Time complexity Quantum information
24	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Diagrams Models of computation Software engineering Concurrency Message sequence chart Abstraction Petri net Infographics Computing Model checking Tree Algorithm
25	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
26	Neural Dynamics as Sampling: A Model for Stochastic Computation in Recurrent Networks of Spiking Neurons Lars Buesing¤, Johannes Bill, Bernhard Nessler, Wolfgang Maass Institute for Theoretical Computer Science, Graz U Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English* - Date: 2014-10-13 19:51:17 Neuroscience Computational neuroscience Nervous system Biology Artificial neural network Biological neuron model Spiking neural network Neural oscillation Gibbs sampling Action potential Neuron Stochastic process
27	Lecture 17: OpenMP Basics William Gropp www.cs.illinois.edu/~wgropp Model of Computation •  Fork/join model Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-14 13:47:52 Computing Computer programming Parallel computing Software engineering Application programming interfaces Fortran OpenMP C POSIX library POSIX Threads Message Passing Interface
28	Computa(onal approach to the analysis and forecast of pandemic events Alessandro Vespignani h9p://www.mobs-‐lab.org Add to Reading List Source URL: www.scor.com Language: English - Date: 2016-01-21 17:18:57 Simulation Complex systems theory Scientific modeling Models of computation Agent-based model Artificial life Economic model Conceptual model Complex systems Systems engineering Macroeconomic model Social science
29	Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:44:40 Process management Diagrams Workflow technology Models of computation Process mining Concurrency Petri net Process modeling Conformance checking Business process management Business process modeling Conceptual model
30	Weighted Synergy Graphs for Role Assignment in Ad Hoc Heterogeneous Robot Teams Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA a Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:14 Combinatorial optimization Matching Models of computation Robotics Algorithm Machine learning Robot Hungarian algorithm Multi-agent system A* search algorithm Humanoid robot Agent-based model